﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;

namespace MicroBenchmarks.NonNullCases
{
    [PexClass]
    [PexMe.Attribute.FieldAccessObserver]
    [PexMe.Attribute.InsufficientObjectFactoryObserver]
    public partial class HTests
    {
        [PexMethod]
        public void HTestPUT1([PexAssumeNotNull]H1_1 h1Obj)
        {
            h1Obj.H1_1_M1();
        }

        [PexMethod]
        public void HTestPUT2([PexAssumeNotNull]H1_1 h1Obj, [PexAssumeNotNull]H2_1 h2Obj)
        {
            h1Obj.H1_1_M2(h2Obj);
        }
    }
}
